41. Formal methods and software engineering
پدیدآورنده : Karin Breitman, Ana Cavalcanti (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
I584
2009
42. Formal methods and software engineering :
پدیدآورنده : Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
43. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Software engineering--Congresses
رده :
QA76
.
9
.
F67
I57
44. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : Kung-Kiu Lau, Richard Banach )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3785
45. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
پدیدآورنده : Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3308
46. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
پدیدآورنده : Chris George, Huaikou Miao )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2495
47. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده : Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885
48. Formal methods for components and objects :
پدیدآورنده : Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F67
F53
2012
49. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرم‌افزار -- تولید -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
50. Formal methods in databases and software engineering :
پدیدآورنده : V.S. Alagar ... (ed.) Publ. in collab. with the British Computer Society
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Database management -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.
رده :
QA76
.
9
.
D3
V735
1993
51. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
52. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
53. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
54. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
55. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
56. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,علوم کامپیوتر -- کنگره‌ها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
57. Generative programming and component engineering
پدیدآورنده : Robert Glück, Michael Lowry (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Component software, Congresses.,Generative programming (Computer science), Congresses.,Software engineering, Congresses.
58. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2487
59. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3286
60. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2830
